#Axiom Math
全體起立,00後大老闆來了!
2079.1億人民幣估值,年化收入破10億美元,成立僅三年的AI程式設計公司Anysphere,以驚人的成長速度被矽谷譽為“史上最快崛起的企業之一”。而這家新銳公司的CEO Michael Truell竟是一位00後,三年前他還輾轉於各大公司實習,如今已躋身億萬富翁之列,成為投資人追捧的新星。AI時代,“資本偏愛35歲以下的年輕人”,這是創投界最近流行的共識。紅杉、高瓴、藍馳等頭部機構紛紛注資00後創業者,張一鳴、劉強東、王興等大佬也密集入股00後初創公司,徐小平的真格基金更是推出“00後狠人計畫”,鎖定新生代群體。01. 潮汕天才,轟動矽谷2025年10月初,矽谷傳來一條爆炸性消息:初創公司Axiom Math完成6400萬美元(約合人民幣4.56億)首輪融資,投後估值破3億美元。但這家公司沒有產品、沒有客戶,創始人還是一位來自中國潮汕的00後女性——年僅24歲的洪樂潼。矽谷資本為何對洪樂潼慷慨押注?答案藏在她近乎“開掛”般的成長軌跡中。洪樂潼早年便顯露出超凡的數學天賦。她高中就讀於廣東名校華南師大附中,成為廣東省奧數隊四名女生之一,在“華羅庚金盃”、全國高中數學聯賽等多項頂級競賽中屢創佳績。2019年,她進入麻省理工學院,攻讀數學與物理雙學位,僅用三年就完成了所有課程,還額外修讀了20門碩博等級的高階課程。本科階段,她就已經在數論、組合數學等專業領域發表多篇高品質論文。卓越的學術能力讓洪樂潼拿獎拿到手軟:被譽為北美數學本科生最高榮譽的“摩根獎”、專門表彰全美頂尖本科女數學家的“Schafer數學卓越獎”、有“本科諾貝爾獎”之稱的牛津大學羅德獎學金(當年全球僅四名中國學生獲此殊榮)等,都被她收入囊中。憑藉羅德獎學金,洪樂潼赴牛津大學攻讀神經科學碩士,之後又進入史丹佛大學,同步攻讀數學博士與法學博士。2024年,洪樂潼做了一個決定:退學創業。這源於她在史丹佛附近的咖啡廳與Meta工程師Shubho Sengupta的一次深度交流,主題聚焦於“運用AI攻克數學難題”。此次會面後不久,她正式創立Axiom Math。彼時,ChatGPT o3被曝光在數學測試中存在“作弊”嫌疑,全球輿論嘩然。洪樂潼在社交媒體上犀利評價道:“OpenAI大模型在數學測試中表現優秀,大機率是因為訓練資料中提前洩題了。在一些測試中,大模型回答的精準率雖然高達96%,但一旦展示推理過程,得分率就降至5%。”這正是洪樂潼立志攻克的核心難題,她認為現有的訓練方法有侷限性,她想要打造一個“AI數學家”:不僅能夠將現有的數學知識全部吸收,還能夠自主推理,甚至自主提出數學猜想。數學為何如此重要,以至於要用AI去攻克數學難題?任正非曾講過一段經歷,華為有位年輕的俄羅斯員工,平日裡不善言辭,只會埋頭做數學題,一做就是十幾年。有一天,這位員工突然宣佈他突破了2G到3G的核心演算法,這一突破幫助華為在無線電領域從此領先全球,並為後續5G技術奠定基礎。攀登科技之樹的頂端,往往是憑藉基礎研究的創新,任正非曾感慨:“光靠砸錢沒用,還要‘砸’數學家、物理學家。”因此,解決複雜數學問題往往是人類創新的金鑰。洪樂潼所要建構的AI數學模型,目標就是為科學研究、晶片設計、金融建模等領域實現底層突破。這個想法吸引了多位數學與AI領域的頂尖人才加盟:曾領導Meta FAIR團隊的Shubho Sengupta、最早將Transformer應用於解決複雜數學問題的法國數學家François Charton、最早將深度學習應用於程式碼生成的AI開發者Hugh Leather......如此豪華的陣容,也是矽谷投資人敢於掏出真金白銀支援Axiom的核心原因。不僅是AI大模型,同樣處於風口的具身智能與機器人行業,也正在成為00後創業者扎堆佈局的賽道。02. 不務正業的創業者2025年7月26日,世界人工智慧大會現場,一場特殊的麻將局拉開帷幕。牌桌四方中坐著三位科技精英:被譽為“華為天才少年”的智元機器人創始人稚暉君、哥倫比亞大學博士胡宇航、靈初科技聯合創始人陳源培。他們正與第四位牌手——機器人“小靈”切磋牌技。在這場“矽基與碳基”的對決中,機器人小靈憑藉其搭載的“靈巧手”順暢自如地抓牌、碼牌、碰牌。有人開玩笑說:“以後再也不怕三缺一了”。“小靈”的締造者正是陳源培團隊,24歲的陳源培今年成功入選《福布斯》2025亞洲30歲以下青年領袖榜單,是其中最年輕的AI創業者。鮮為人知的是,這位技術天才在華南理工大學就讀期間,曾是一名頻繁翹課的“問題學生”。2022年,在參加RoboMaster機器人大賽後,原本土木專業的陳源培徹底迷上了靈巧手研究。“讓機器擁有像人一樣靈活的手,是件特別酷的事。不上課我也要自學機器人。”為此,他不惜逃課投身實驗室,醉心於研發。這段看似“不務正業”的自學經歷,讓他得以敲開北京大學人工智慧研究院的大門,師從強化學習權威楊耀東教授。在北大期間,陳源培實現了一項重大突破:全球首次在真實環境中,運用強化學習同時控制雙臂與雙手完成多技能操作。但陳源培對此並不滿足,他還要去探索最尖端的具身智能技術。2023年,他以訪問學者身份赴美,加入了著名的“AI教母”李飛飛團隊。一年後,當同齡人還在撰寫畢業論文時,陳源培收到了華為“天才少年”offer以及一份史丹佛繼續深造的邀請。然而,他卻出人意料地選擇了第三條路——創業。“發論文固然重要,但我更希望親手將技術轉化為產品。”在楊耀東教授的引薦下,陳源培結識了擁有20多年硬體經驗的王啟斌,以及機器人與無人駕駛專家柴曉傑博士,他們聯手創辦了靈初智能,被譽為“科學家密度最高的創業公司”。馬斯克曾斷言:“機器人研發真正的挑戰在於硬體設計,尤其是手和前臂的複雜工程難題。人手大約有27、28個自由度,而要讓機器人成為真正的通用機器人,必須解決‘手’的問題。”這也是靈初智能瞄準的破局點。成立後不久,公司推出了首款21自由度靈巧手,能夠穩定抓取盛滿水的紙杯,並且滴水不漏。這吸引了輝達的關注,雙方宣佈將在模擬訓練層面開展深度合作。美團也緊隨其後,邀請他們共同研發末端配送機器人“小黃蜂”。2025年年初,靈初智能完成由高瓴資本、藍馳創投領投的天使輪融資,估值破億。當前,具身智慧型手機器人賽道持續升溫。據國務院發展研究中心《中國發展報告2025》預測,中國具身智能產業規模將在2030年達到4000億元,2035年突破兆。在這條新興賽道上,除了陳源培團隊外,一批00後創業者都正嶄露頭角。25歲的清華AI碩士閔宇恆創辦零次元機器人,成立僅半年即獲‌得1億元融資‌及‌數千萬元訂單‌,團隊研發人員80%來自中國TOP2高校。還有同齡的優理奇‌創始人楊豐瑜博士,從耶魯休學回國後專注於保姆機器人研發,現已完成數億元天使輪融資‌,簽約數千萬元訂單‌‌。公司首席科學家為全球機器人專家、上海交大王賀升教授。03. 淘金熱的“賣水人”當這些00後創業者選擇深耕AI與機器人時,另一位同齡人決定另闢蹊徑——做AI淘金熱中的“賣水人”。他就是付智,共績科技的創始人。付智出生於貴州銅仁鄉村,父母都是沒有受過高等教育的普通人。童年時,他曾在貴陽花果園目睹農民工群體的艱辛,萌生了“通過創業讓世界更美好”的信念。2018年,他考入清華大學,成為村裡第一代大學生。初入清華園,付智一度變得自卑起來。“感覺身邊的每一個同學都比我優秀。”但僅僅幾年後,他便一躍成為“2024清華年度人物”以及“2025北京青年榜樣”。一切要從2022年的冬天說起。那年冬天,一個緊急的研究項目要求付智在7天時間完成40天的計算量,面對“算力不足”的困境,他東拼西湊借來8台電腦,才趕在截止日前完成任務。以此為靈感,付智乾脆開發了一個簡易的共享算力平台,發佈在B站上,幫助大家解決臨時算力不足的問題。結果沒想到網站的日註冊量達到7000-8000人,還有5名付費客戶。這次小試牛刀,讓付智關於算力共享平台的構想愈發成型。在他看來,廣大中小企業與個人開發者對AI算力存在大量彈性需求,就像遍佈大街的乘客。另一方面,中國擁有5.7億台個人電腦,其中67%的算力處於日常閒置狀態,就像空載的車輛。算力市場的現狀,恰如網約車出現之前的打車市場。付智要搭建一個穩定、低價、彈性的算力共享平台,做“算力界的滴滴”。創業伊始,他說服了兩位清華天才的加入:許鐘子珩,清華機械與電腦雙料博士,機械系十年以來年級最高分,曾用兩個晚上破解國家軍工領域某“卡脖子”技術難題;還有清華叉院博士黃力昂,亞洲超算第一名的獲得者。團隊雖然如此專業,但在項目路演時,付智收到的更多是質疑。有投資人甚至直言:“你們這個事做不成,80年代就有人嘗試了,賺不到錢。”相比網約車共享,算力共享確實存在諸多的技術難點和變現挑戰,但投資人顯然低估了這個00後團隊的執著與實力。為節約成本,付智團隊在海淀民房開始“車庫式創業”。兩年時間埋頭研發,他們完成80多個版本的產品迭代,最終實現了99.9%穩定率,且90%裝置可一鍵接入。技術問題雖然有解,但資金壓力也是這個年輕團隊不得不面對的現實。2023年夏天,付智迎來最艱難的時刻,團隊瀕臨解散。直到8月底的一天,付智在海南散步時偶然瞥見“七彩祥雲”,次日他便接到百度前總裁陸奇的電話,獲得30萬美元種子投資,一解燃眉之急。如今,AI算力需求呈現出爆發式增長的態勢,共績科技的發展也隨之打開局面,青海、河北等地方政府更是主動上門謀求合作,公司也完成了數千萬元天使融資。截止目前,共績科技接入裝置達數十萬台,這些裝置一起運行的算力相當於兩個長三角智算中心的算力之和,2025年上半年公司實現營收2000萬元。一位投資人曾對付智講:“要多看毛選裡的《論持久戰》,這裡有最頂級的戰略。”據工信部預測,2030年中國算力市場規模將超兆元,其中彈性算力佔比超千億元。對於付智來說,這場關於算力重構的戰役,才剛剛拉開序幕。而屬於00後創業者的黃金時代也才剛剛開啟。被譽為“最牛天使投資人”的龔虹嘉曾指出:“什麼時候有人敢在天使輪或種子輪投10個億,中國的創新就真正起來了。DeepSeek的梁文鋒就是一個例子。”龔虹嘉本人曾以245萬元投資海康威視,最終收穫超300億回報。在他看來,押注年輕人就是押注未來。縱觀當下00後精英創業者,他們熱衷於源頭創新,聚焦於AI、具身智能、生物科技等代表未來的前沿產業。胡潤U25榜單顯示,2024年中國25歲以下創業先鋒中,前沿科技領域佔比高達80%,且多數擁有頂尖高校或實驗室研發經歷。他們出生於國家崛起之際,擁有豐富的知識積累與廣闊的全球視野,不再是亦步亦趨的追趕者,而是從起點就瞄準全球趨勢的領跑者;他們不再像父輩甚至爺輩那樣創業更多是為了吃飯賺錢,他們一出手就站在世界級水準之上,為理想為熱愛而星辰大海。站在改革開放40多年後,民族偉大復興新時代節點上的他們,是新中國成立至今最自信、最平視世界、最有資本與底氣敢為天下先的一代。從他們開始中國創業者將真正走向:一出手就引領世界。 (EDA365電子論壇)
一杯咖啡,3億美金!史丹佛天才少女退學創業,Meta AI大牛排隊加入
【新智元導讀】2024年,史丹佛博士生Carina Hong與前Meta AI研究員的一次數小時對話,讓她毅然輟學投身於打造「AI數學家」的夢想,創辦Axiom Math並吸引到來自Meta等公司的頂尖AI人才加盟。Axiom Math首輪融資6400萬美元後估值3億美元。一次咖啡館中的談話,誕生了一家估值3億美元的創業公司!2024年,仍為史丹佛大學博士生的Carina Hong與前Meta的AI研究員Shubho Sengupta有過一次數小時的交談。在那次交談中二人探討了如何用AI來解決數學領域的難題。這次談話不久,Carina Hong選擇從史丹佛退學創辦了Axiom Math,目標是打造「AI數學家」,而Sengupta也加入了這家新創辦的公司擔任CTO。近日,Carina Hong在X平台上發佈了Axiom的宣傳視訊,稱「我們正在打造一個能夠自我改進的超級智能推理系統,起點是一個AI數學家。」a16z前高管、投資人Jon Turow在Carina Hong的推文下留言祝賀:「世界上最難的問題,不是資料或算力,而是推理本身的瓶頸。」前OpenAI高管William Fedus認為數學是一個極好的可驗證環境,他對於Axiom的快速進展十分樂觀。B Capital將24歲的Carina Hong稱作一個「推動數學超級智能的人」。2025年3月Carina Hong創立Axiom Math並擔任CEO,Axiom Math核心員工中大多數來自Meta一次談話,點燃創業夢想2024年秋,仍在史丹佛大學攻讀博士的Carina Hong在學校附近的Verve Coffee Roasters咖啡館,偶然遇到了前Meta的AI研究員Shubho Sengupta,當時Sengupta正在研究能編寫軟體測試的大語言模型。兩人聊得十分投機。在數小時的談話中,他們共同探討了AI是否有可能解決世界上最難的數學問題。那次談話後不久,Carina Hong便從史丹佛退學,創辦了Axiom Math,立志打造一款「AI數學家」。在Carina Hong看來,數學是打造超級智能的完美試驗場。Axiom Math的理念是將教科書、論文和期刊裡的英文數學內容轉化為程序化知識,這樣AI不僅可以解決複雜的數學問題,還能通過嚴格驗證來檢驗解答。未來,Carina Hong希望「AI數學家」甚至能夠提出全新的數學猜想。據Axiom官網顯示,該公司使命是「從AI數學家起步,打造自我改進的超級智能推理器」。估值3億美元,Meta大牛排隊加入Axiom Math成立短短幾個月,便已完成了6400萬美元的種子輪融資:由B Capital領投,Greycroft、Madrona和Menlo Ventures等風投參與。融資後,Axiom Math估值已達3億美元。B Capital的官方部落格文章中,將Carina Hong稱作一個「推動數學超級智能的人」,並稱讚她「以驚人的速度組建了一支人才密度極高的創始團隊。」Axiom Math的核心成員中,如Shubho、François Charton、Aram H. Markosyan均來自Meta。Shubho SenguptaShubho Sengupta目前擔任Axiom Math CTO,前文提到正是他與Carina Hong的一席談話,促使了後者創辦Axiom Math的想法。Shubho Sengupta曾帶領Meta FAIR團隊開發OpenGo和CrypTen。此前,他還參與了Google Brain關於分佈式訓練系統的研發。Shubho Sengupta還是最早一批CUDA開發者。François Charton早在2019年,François Charton已經率先探索Transformer在複雜數學問題上的應用,最近更是解決了一個延續百年的公開問題,推翻了一個流傳30年的猜想。François Charton表示,他將在Axiom Math負責數學發現:如何將AI應用於實際研究問題,而不是像數學奧林匹克那樣將其用於已經解決的問題。Hugh LeatherHugh Leather在Axiom Math擔任研究科學家。Hugh Leather是最早將深度學習應用於程式碼生成的先驅之一,曾打造首個用於編譯器和GPU程式碼生成的大語言模型。Aram MarkosyanAram Markosyan是一位曾負責Meta安全與公平性研究的AI科學家。不到一年時間,Carina Hong為初創公司吸引到了上述一批資深科技老將。就在Meta重金攬才的同時,也在持續流失關鍵AI人才。Axiom Math核心團隊的組建,正值Meta豪擲上億美元薪資挖角OpenAI等前沿實驗室人才的同時。而Axiom吸引這些頂級AI研究員的,正是它的使命——用人工智慧推動數學發現。在Axiom的辦公室裡,經常可以感受到這樣的氛圍,它的會議室都是以數學與計算領域的巨匠命名,比如高斯(Carl Friedrich Gauss)和阿達·洛夫萊斯(Ada Lovelace)。Charton認為,Axiom是一家真正認真對待數學AI的公司,而不是把它當成副業,這點對他來說非常重要。這反映出頂尖學者更看重研究使命與學術氛圍,而非單純的資源或薪資。「摩根獎」獲得者來自廣州的天才女生Carina Hong的個人履歷同樣引人矚目。Carina Hong是一位中美混合背景的學者,她在中國廣州長大,從小酷愛數學。她是史丹佛大學數學系博士生,同時也是史丹佛大學法學院法律博士在讀,獲騎士-亨內西獎學金資助。在此之前,她曾作為羅德學者就讀於牛津大學赫特福德學院,獲得神經科學碩士學位;她還在倫敦大學學院賽恩斯伯裡威康中心的蓋茲比研究所從事深度學習研究。Carina Hong本科就讀於麻省理工學院(MIT),主修數學與物理雙學位,期間在同行評審期刊上發表了9篇論文。2023年,Carina Hong獲得了本科數學最高獎項——Frank and Brennie Morgan獎(摩根獎),該獎項是全球數學本科生的最高榮譽。儘管Axiom的發展迅速,但它同樣正面臨強勁的競爭。今年7月,OpenAI和GoogleDeepMind都曾宣佈旗下大模型在國際數學奧林匹克競賽(IMO)中達到金牌水平。然而在Carina Hong看來,這類基準測試很容易被「刷分」,並不代表真正的研究級數學能力。目前,Axiom的重點是訓練能發現並解決新數學問題的模型。但在數學之外Axiom也看到了更廣泛的應用前景。未來它的研究應用也將擴展到金融建模、晶片架構、量化交易等更多領域。 (新智元)